61. Minimum impatience theorems for recorsive economic models
پدیدآورنده: Gerhard Sorger
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Recursive functions
رده :
QA
9
.
615
.
S6
,
M5
62. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده: edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
63. Recursire functionals
پدیدآورنده: by Luis E. Sanchis
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Recursive functions
64. Recursive function theory
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursive functions
رده :
QA
1
.
P7
Vol
.
5
65. Recursive function theory ]Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Recursive functions
رده :
QA
248
.
5
.
S9
1961
66. Recursive function theory and logic
پدیدآورنده: Yasuhara, Ann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
67. #Recursive function theory and logic
پدیدآورنده :
موضوع : Recursive functions ،Logic symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
68. Recursive functionals
پدیدآورنده: / Luis E. Sanchis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Recursive functions.
رده :
QA
,
9
.
615
,.
S26
,
1992
69. Recursive functionals
پدیدآورنده: Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions
رده :
QA
9
.
615
.
S26
1992
70. Recursive functionals
پدیدآورنده: Sanchis, Luis E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions
رده :
QA
9
.
615
.
S26
71. Recursive functionals
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Recursive functions. ;
72. #Recursive functions
پدیدآورنده: #]Translated by Istvan Foldes[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions
رده :
#
QA
،#.
P413
،#
1967
73. Recursive functions
پدیدآورنده :
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
74. Recursive functions and metamathematics :
پدیدآورنده: Roman Murawski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
75. Recursive macroeconomic theory
پدیدآورنده: Ljungqvist, Lars.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2000
76. Recursive macroeconomic theory
پدیدآورنده: Ljungqvist, Lars.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2004
77. Recursive macroeconomic theory
پدیدآورنده: Lars Ljungqvist, Thomas J. Sargent
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Macroeconomics,Recursive functions,Statics and dynamics (social sciences)
رده :
HB
172
.
5
.
L59
2000
78. Recursive macroeconomic theory
پدیدآورنده: Ljungqvist, Lars.
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع: ، Macroeconomics,، Recursive functions,، Statics and Dynamics )Social Sceince(
رده :
HB
172
.
5
.
L5R4
2004
79. Recursive macroeconomic theory
پدیدآورنده: Ljungqvist, Lars
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2004
80. Recursive macroeconomic theory /
پدیدآورنده: Lars Ljungqvist, Thomas J. Sargent.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Macroeconomics.,Recursive functions.,Statics and dynamics (Social sciences)
رده :
HB172
.
5
.
L59
2000